翻訳と辞書
Words near each other
・ perl-byacc
・ perl5
・ permanent link
・ permanent virtual circuit
・ permanent virtual connection
・ permission
・ permutation
・ perplexity
・ persistence
・ persistent
persistent functional language
・ persistent memory
・ person of no account
・ personal communication network
・ personal communication services
・ personal computer
・ personal computer memory card international association
・ personal digital assistant
・ personal identification number
・ personalized array translator


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

persistent functional language : FOLDOC
Persistent Functional Language
(PFL) A functional database language developed by Carol Small at Birkbeck College, London, UK and Alexandra Poulovassilis (now at {King's College London}).
In PFL, functions are defined equationally and bulk data is stored using a special class of functions called selectors. PFL is a lazy language, supports higher-order functions, has a strong polymorphic type inference system, and allows new user-defined data types and values. All functions, types and values persist in a database. Functions can be written which update all aspects of the database: by adding data to selectors, by defining new equations, and by introducing new data types and values.
PFL is "semi-referentially transparent", in the sense that whilst updates are referentially opaque and are executed {destructive}ly, all evaluation is referentially transparent. Similarly, {type checking} is "semi-static" in the sense that whilst updates are


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.